Control input design: detecting non influential inputs while satisfying a reachability specification
نویسندگان
چکیده
منابع مشابه
A Specification Theory for Reachability by Design
Modular design aims at building complex reactive systems by assembling components, possibly taken off-the-shelf. This approach can be supported by a specification theory in which requirements correspond to specifications while components are models of the specifications. In this article, we consider components which have to fulfill a reachability objective. A difficulty is then induced by the f...
متن کاملRefining Behavioral Specification for Satisfying Non-functional Requirements of Stakeholders
System specifications should be refined to meet stakeholders’ requirements as much as possible, because the first specification does not satisfy all stakeholders in general. This paper presents a procedure to refine behavioral specification to satisfy stakeholders. Non-functional requirements are used for checking stakeholders’ satisfaction. With this procedure, stakeholder-dissatisfaction can ...
متن کاملDiffeomorphisms Satisfying the Specification Property
Let f be a diffeomorphism of a closed C∞ manifold M . In this paper, we introduce the notion of the C1-stable specification property for a closed f -invariant set Λ of M , and we prove that f|Λ satisfies a C 1-stable specification property if and only if Λ is a hyperbolic elementary set. As a corollary, the C1-interior of the set of diffeomorphisms of M satisfying the specification property is ...
متن کاملSatisfying user preferences while negotiating meetings
We }lave built a distributed meeting scheduling (Sen 8z Durfee 1994) system which is a collection of agents, responsible for scheduling meetings for their respective users. Users have l)references oll when they like to meet, e.g. time of day, day of week, status of other invitees, topic of the meeting, etc. The agent muust balance such concerns, proposing and accepting meeting times that satisf...
متن کاملDetecting influential observations in Kernel PCA
Individual observations can be very influential when performing classical Principal Component Analysis in a Euclidean space. Robust PCA algorithms detect and neutralize such dominating data points. This paper studies robustness issues for PCA in a kernel induced feature space. The sensitivity of Kernel PCA is characterized by calculating the influence function. A robust Kernel PCA method is pro...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IFAC Proceedings Volumes
سال: 2014
ISSN: 1474-6670
DOI: 10.3182/20140824-6-za-1003.01960